Peter Schroeder-Heister: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Proof-Theoretic Semantics, Self-Contradiction, and the Format of Deductive Reasoning

Peter Schroeder-Heister

Journal:

Year:

2012

Language:

english

File:

PDF, 522 KB

english, 2012

2

Generalized Definitional Reflection and the Inversion Principle

Peter Schroeder-Heister

Journal:

Logica Universalis

Year:

2007

Language:

english

File:

PDF, 217 KB

english, 2007

3

Popper's theory of deductive inference and the concept of a logical constant

Schroeder-Heister, Peter

Journal:

History and Philosophy of Logic

Year:

1984

Language:

english

File:

PDF, 1.41 MB

english, 1984

4

A Natural Extension of Natural Deduction

Peter Schroeder-Heister

Journal:

Journal of Symbolic Logic

Year:

1984

Language:

english

File:

PDF, 355 KB

english, 1984

5

Implications-as-Rules vs. Implications-as-Links: An Alternative Implication-Left Schema for the Sequent Calculus

Peter Schroeder-Heister

Journal:

Journal of Philosophical Logic

Year:

2011

Language:

english

File:

PDF, 237 KB

english, 2011

6

Book Reviews

Smith, Robin, Green-Pedersen, N.J., Holdcroft, David, Peter Schroeder-Heister, Rezensiert von, Loptson, Peter, Hodes, Harold, Corrado Mangione, Recensione di, Simons, P.M., Tee, G.J.

Journal:

History and Philosophy of Logic

Year:

1984

Language:

english

File:

PDF, 2.77 MB

english, 1984

7

Frege’s permutation argument revisited

Kai Frederick Wehmeier, Peter Schroeder-Heister

Journal:

Year:

2005

Language:

english

File:

PDF, 204 KB

english, 2005

8

Recent frege studies

Schroeder-Heister, Peter, Gottfried Gabriel, Rezensiert von

Journal:

History and Philosophy of Logic

Year:

1983

Language:

english

File:

PDF, 460 KB

english, 1983

9

Introduction: Proof-theoretic Semantics

Reinhard Kahle, Peter Schroeder-Heister

Journal:

Year:

2006

Language:

english

File:

PDF, 155 KB

english, 2006

10

The Calculus of Higher-Level Rules, Propositional Quantification, and the Foundational Approach to Proof-Theoretic Harmony

Schroeder-Heister, Peter

Journal:

Year:

2014

Language:

english

File:

PDF, 306 KB

english, 2014

11

A Proof-Theoretic Approach to Logic Programming

HALLNÄS, LARS, SCHROEDER-HEISTER, PETER

Journal:

Journal of Logic and Computation

Year:

1991

Language:

english

File:

PDF, 1.33 MB

english, 1991

12

Conservativeness and uniqueness

, Peter Schroeder-Heister

Journal:

Year:

1985

Language:

english

File:

PDF, 572 KB

english, 1985

13

International Encyclopedia of the Social & Behavioral Sciences || Popper, Karl Raimund (1902–94)

Schroeder-Heister, Peter

Year:

2015

Language:

english

File:

PDF, 104 KB

english, 2015

14

Ekman’s Paradox

Schroeder-Heister, Peter, Tranchini, Luca

Journal:

Notre Dame Journal of Formal Logic

Year:

2017

Language:

english

File:

PDF, 304 KB

english, 2017

15

BOOK NOTE

Friedrichsdorf, Ulf, Schroeder-Heister, Peter

Journal:

Journal of Semantics

Year:

1985

Language:

english

File:

PDF, 99 KB

english, 1985

16

[Lecture Notes in Computer Science] Extensions of Logic Programming Volume 475 || A logic program for transforming sequent proofs to natural deduction proofs

Schroeder-Heister, Peter

Year:

1991

Language:

english

File:

PDF, 1.63 MB

english, 1991

17

The completeness of intuitionistic logic with respect to a validity concept based on an inversion principle

Peter Schroeder-Heister

Journal:

Journal of Philosophical Logic

Year:

1983

Language:

english

File:

PDF, 857 KB

english, 1983

18

Bibliographie Hugo Dingler (1881-1954)

Peter Schroeder-Heister

Journal:

Zeitschrift für philosophische Forschung

Year:

1981

Language:

german

File:

PDF, 1.36 MB

german, 1981

19

Reduction, Representation and Commensurability of Theories

Peter Schroeder-Heister and Frank Schaefer

Journal:

Philosophy of Science

Year:

1989

Language:

english

File:

PDF, 628 KB

english, 1989

20

A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules

HALLNÄS, LARS, SCHROEDER-HEISTER, PETER

Journal:

Journal of Logic and Computation

Year:

1990

Language:

english

File:

PDF, 1.16 MB

english, 1990

21

Validity Concepts in Proof-theoretic Semantics

Peter Schroeder-Heister

Journal:

Year:

2006

Language:

english

File:

PDF, 267 KB

english, 2006

22

How to Ekman a Crabbé-Tennant

Schroeder-Heister, Peter, Tranchini, Luca

Journal:

Year:

2018

Language:

english

File:

PDF, 517 KB

english, 2018

23

The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics

Peter Schroeder-Heister

Journal:

Year:

2012

Language:

english

File:

PDF, 204 KB

english, 2012

24

S-R compatibility effect or cerebral laterality effect? Comments on a controversy

Gabriele Heister, Peter Schroeder-Heister

Journal:

Neuropsychologia

Year:

1985

Language:

english

File:

PDF, 441 KB

english, 1985

25

Uniqueness, definability and interpolation

Došen, Kosta, Schroeder-Heister, Peter

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 1.05 MB

english, 1988

26

Uniqueness, Definability and Interpolation

Kosta Došen and Peter Schroeder-Heister

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 403 KB

english, 1988

27

A model-theoretic reconstruction of Frege's permutation argument.

Schroeder-Heister, Peter

Journal:

Notre Dame Journal of Formal Logic

Year:

1987

Language:

english

File:

PDF, 1.26 MB

english, 1987

28

Shift of functional cerebral asymmetry during the menstrual cycle

Gabriele Heister, Theodor Landis, Marianne Regard, Peter Schroeder-Heister

Journal:

Neuropsychologia

Year:

1989

Language:

english

File:

PDF, 894 KB

english, 1989

29

Spatial S-R compatibility with orthogonal stimulus-response relationship

Walter H. Ehrenstein, Peter Schroeder-Heister, Gabriele Heister

Journal:

Attention, Perception, & Psychophysics

Year:

1989

Language:

english

File:

PDF, 750 KB

english, 1989

30

Schüler Wolfgang. Grundlegungen der Mathematik in transzendentaler Kritik, Frege und Hilbert, Schriften zur Transzendentalphilosophie, vol. 3, Felix Meiner Verlag, Hamburg 1983, xv + 190 pp.

Schroeder-Heister, Peter

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 258 KB

english, 1989

31

[Trends in Logic] Advances in Proof-Theoretic Semantics Volume 43 ||

Piecha, Thomas, Schroeder-Heister, Peter

Year:

2016

Language:

english

File:

PDF, 2.69 MB

english, 2016

32

Evidence for stimulus-response compatibility effects in a divided visual field study of cerebral lateralization

Gabriele Heister, Peter Schroeder-Heister

Journal:

Acta Psychologica

Year:

1987

Language:

english

File:

PDF, 764 KB

english, 1987

33

Spatial S-R compatibility effects with unimanual two-finger choice reactions for prone and supine hand positions

Gabriele Heister, Walter H. Ehrenstein, Peter Schroeder-Heister

Journal:

Attention, Perception, & Psychophysics

Year:

1986

Language:

english

File:

PDF, 1.02 MB

english, 1986

34

ON FLATTENING ELIMINATION RULES

OLKHOVIKOV, GRIGORY K., SCHROEDER-HEISTER, PETER

Journal:

The Review of Symbolic Logic

Year:

2014

Language:

english

File:

PDF, 100 KB

english, 2014

35

Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen

Peter Schroeder-Heister

Journal:

Bulletin of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 1.51 MB

english, 2002

36

[Lecture Notes in Computer Science] Extensions of Logic Programming Volume 475 || Modal provability foundations for negation by failure

Schroeder-Heister, Peter

Year:

1991

Language:

english

File:

PDF, 2.16 MB

english, 1991

37

[Lecture Notes in Computer Science] Extensions of Logic Programming Volume 475 || Logic programming with sequent systems

Schroeder-Heister, Peter

Year:

1991

Language:

english

File:

PDF, 1.88 MB

english, 1991

38

[Lecture Notes in Computer Science] Extensions of Logic Programming Volume 475 || Predicates as parameters in logic programming

Schroeder-Heister, Peter

Year:

1991

Language:

english

File:

PDF, 1.22 MB

english, 1991

39

THE PHILOSOPHY OF LOGICAL CONSEQUENCE AND INFERENCE || The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics

Peter Schroeder-Heister

Journal:

Year:

2012

Language:

english

File:

PDF, 1.36 MB

english, 2012

40

Proof-Theoretic Semantics || Introduction: Proof-Theoretic Semantics

Reinhard Kahle and Peter Schroeder-Heister

Journal:

Year:

2006

Language:

english

File:

PDF, 502 KB

english, 2006

41

The Completeness of Intuitionistic Logic with Respect to a Validity Concept Based on an Inversion Principle

Peter Schroeder-Heister

Journal:

Journal of Philosophical Logic

Year:

1983

Language:

english

File:

PDF, 1.40 MB

english, 1983

42

[Lecture Notes in Computer Science] Extensions of Logic Programming Volume 475 || A survey of GCLA: A definitional approach to logic programming

Schroeder-Heister, Peter

Year:

1991

Language:

english

File:

PDF, 2.71 MB

english, 1991

43

[Lecture Notes in Computer Science] Extensions of Logic Programming Volume 475 || Some applications of Gentzen's proof theory in automated deduction

Schroeder-Heister, Peter

Year:

1991

Language:

english

File:

PDF, 4.41 MB

english, 1991

44

Kosta Došen (1954–2017)

Schroeder-Heister, Peter

Journal:

Year:

2018

Language:

english

File:

PDF, 356 KB

english, 2018

45

Spatial S-R compatibility with unimanual two-finger choice reactions: Effects of irrelevant stimulus location

Gabriele Heister, Walter H. Ehrenstein, Peter Schroeder-Heister

Journal:

Attention, Perception, & Psychophysics

Year:

1987

Language:

english

File:

PDF, 893 KB

english, 1987

46

Spatial S-R compatibility: Positional instruction vs. compatibility instruction

Gabriele Heister, Peter Schroeder-Heister

Journal:

Acta Psychologica

Year:

1994

Language:

english

File:

PDF, 738 KB

english, 1994

47

[Lecture Notes in Computer Science] Extensions of Logic Programming Volume 1050 || Handling equality in logic programming via basic folding

Dyckhoff, Roy, Herre, Heinrich, Schroeder-Heister, Peter

Year:

1996

Language:

english

File:

PDF, 970 KB

english, 1996

48

[Trends in Logic] Advances in Proof-Theoretic Semantics Volume 43 || Advances in Proof-Theoretic Semantics: Introduction

Piecha, Thomas, Schroeder-Heister, Peter

Year:

2016

Language:

english

File:

PDF, 68 KB

english, 2016

49

[Lecture Notes in Computer Science] Extensions of Logic Programming Volume 475 || Extensions to logic programming motivated by the construction of a generic theorem prover

Schroeder-Heister, Peter

Year:

1991

Language:

english

File:

PDF, 1.44 MB

english, 1991

50

A Note on Location of the Decisional Stages of Choice Reactions in the Left Hemisphere

Heister, Gabriele, Schroeder-Heister, Peter

Journal:

Year:

1984

Language:

english

File:

PDF, 378 KB

english, 1984

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски